$\forall$$a$, $b$:$\mathbb{Z}$, $c$:$\mathbb{N}$. (($a$ {-}{-} $b$) {-}{-} $c$) = ($a$ {-}{-} ($b$+$c$)) $\in$ $\mathbb{Z}$